	.text
	.p2align	5
	.globl	_keccak_f1600
	.globl	keccak_f1600
_keccak_f1600:
keccak_f1600:
	pushq	%rbp
	movq	$24, %rax
	.p2align	5
Lkeccak_f1600$1:
	decq	%rax
	decq	%rax
	jne 	Lkeccak_f1600$1
	popq	%rbp
	ret 
	.data
	.globl	_glob_data
	.globl	glob_data
	.p2align	5
_glob_data:
glob_data:
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 8
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 128
.byte 1
.byte 0
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 129
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 128
.byte 10
.byte 0
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 128
.byte 10
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 2
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 3
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 137
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 139
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 139
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 10
.byte 0
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 9
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 136
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 138
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 9
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 129
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 128
.byte 1
.byte 0
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 139
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 0
.byte 128
.byte 0
.byte 0
.byte 0
.byte 128
.byte 138
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 128
.byte 130
.byte 128
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 1
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0
.byte 0